Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
61	Model based approach to verification of higher-order programs (Invited Talk) Igor Walukiewicz CNRS Bordeaux University, France Add to Reading List Source URL: refal.botik.ru Language: English - Date: 2016-03-08 11:18:53 Distributed computing Safety Liveness Computing Formal methods Software engineering Concurrency Logic in computer science
62	Formal Semantics and Automated Verification for the Border Gateway Protocol Konstantin Weitz Doug Woos Add to Reading List Source URL: sandcat.cs.washington.edu Language: English - Date: 2016-07-18 14:23:27 Computing Network architecture Internet Computer networking Routing protocols Internet Standards Internet protocols Routing Border Gateway Protocol Router Autonomous system Convergence
63	David Ljung Madison Stellar Programming, Algorithm Design, VLSI / CPU Verification Accomplishing the impossible, on a deadline Career Summary Accomplished problem solver who can create new solutions Add to Reading List Source URL: davesource.com Language: English - Date: 2016-08-17 01:14:20 Electronic design automation Software engineering Computing Hardware verification languages Hardware description languages Verilog Perl Formal verification Programming tool Post-silicon validation Computer E
64	To appear in the APA Newsletter on Philosophy and Computers, FallNo. 1, VolWhen Formal Systems Kill: Computer Ethics and Formal Methods Darren Abramson∗ Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-02-05 21:11:01 Computing Software engineering Formal methods Technology Theoretical computer science Software quality Software testing Product development Software verification Formal verification Computer science Software development process
65	Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-02 19:53:10 Automated theorem proving Theoretical computer science Logic Mathematics Mathematical proofs Proof assistants Formal methods Formal verification KeY Isabelle Rippling Automated reasoning
66	Parameterized Interfaces for Open System Verification of Product Lines∗ Colin Blundell University of Pennsylvania Kathi Fisler WPI Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-10-28 09:30:27 Theoretical computer science Logic Mathematical logic Formal methods Logic in computer science Boolean algebra Hardware verification languages Model checking Temporal logic Formal verification Propositional calculus E
67	Continued Relevance of Bit-Level Verification Research R. Brayton, N. Een, A. Mishchenko Berkeley Verification and Synthesis Research Center EECS Dept., University of California, Berkeley Introduction Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-30 02:14:08 Theoretical computer science Formal methods Logic in computer science Electronic design automation NP-complete problems Boolean algebra Boolean satisfiability problem Solver Formal equivalence checking Formal verification Model checking Uclid
68	Microsoft Word - usable-verificationdocx Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-23 23:32:14 Software engineering Software quality Formal methods Quality Theoretical computer science Logic in computer science Software testing Food safety Verification and validation Reliability engineering Software verification Runtime verification
69	Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-12-29 13:37:29 Theoretical computer science Software engineering Computing Logic in computer science Formal methods Compiler construction Formal verification ACM Transactions on Programming Languages and Systems Semantics Compiler Programming language Operational semantics
70	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable 1.3.A-1 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:11 Software engineering Formal methods Computing Theoretical computer science Software testing Software quality Logic in computer science Software verification Formal verification Runtime verification Model checking Reliability engineering

UPDATE